11

Information gain of black-box testing

Year:
2011
Language:
english
File:
PDF, 661 KB
english, 2011
15

Lossiness of communication channels modeled by transducers1

Year:
2017
Language:
english
File:
PDF, 191 KB
english, 2017
16

Past pushdown timed automata and safety verification

Year:
2004
Language:
english
File:
PDF, 267 KB
english, 2004
20

Accepting runs in a two-way finite automaton

Year:
2018
Language:
english
File:
PDF, 309 KB
english, 2018
49

ON STATELESS AUTOMATA AND P SYSTEMS

Year:
2008
Language:
english
File:
PDF, 977 KB
english, 2008